A low-power wireless video sensor node for distributed object detection

In this paper we propose MicrelEye, a wireless video node for cooperative distributed video processing applications that involve image classification. The node is equipped with a low-cost VGA CMOS image sensor, a reconfigurable processing engine (FPGA, Microcontroller, SRAM) and a Bluetooth 100-m transceiver. It has a size of few cubic centimeters and its typical power consumption is approximately ten times less than that of typical commercial DSP-based solutions. As regards classification, a highly optimized hardware-oriented support vector machine-like (SVM-like) algorithm called ERSVM is proposed and implemented. We describe our hardware and software architecture, its performance and power characteristics. The case study considered in this paper is people detection. The obtained results suggest that the present technology allows for the design of simple intelligent video nodes capable of performing classification tasks locally.

从典型案例出发,但科学研究不止于案例——徽州传统民居聚落和新徽派建筑科研典型案例的思考

从传统民居聚落和新徽派建筑的几个典型案例包括黄山市徽州区西溪南历史文化名村、黄山市区外边溪新徽州聚落和北京海淀区“坦博艺苑”,总结出课题研究所必须要做的几个工作：1.概念的界定;2.研究领域的界定;3.任何科研不可能毕其功于一役,如果在课题研究成果中可以提出在广度和深度上延伸的其他课题,也是很有价值的.     

Designing fast LTL model checking algorithms for many-core GPUs

Recent technological developments made various many-core hardware platforms widely accessible. These massively parallel architectures have been used to significantly accelerate many computation demanding tasks. In this paper, we show how the algorithms for LTL model checking can be redesigned in order to accelerate LTL model checking on many-core GPU platforms. Our detailed experimental evaluation demonstrates that using the NVIDIA CUDA technology results in a significant speedup of the verification process. Together with state space generation based on shared hash-table and DFS exploration, our CUDA accelerated model checker is the fastest among state-of-the-art shared memory model checking tools.     

A constructive algorithm to synthesize arbitrarily connected feedforward neural networks

In this work we present a constructive algorithm capable of producing arbitrarily connected feedforward neural network architectures for classification problems. Architecture and synaptic weights of the neural network should be defined by the learning procedure. The main purpose is to obtain a parsimonious neural network, in the form of a hybrid and dedicate linear/nonlinear classification model, which can guide to high levels of performance in terms of generalization. Though not being a global optimization algorithm, nor a population-based metaheuristics, the constructive approach has mechanisms to avoid premature convergence, by mixing growing and pruning processes, and also by implementing a relaxation strategy for the learning error. The synaptic weights of the neural networks produced by the constructive mechanism are adjusted by a quasi-Newton method, and the decision to grow or prune the current network is based on a mutual information criterion. A set of benchmark experiments, including artificial and real datasets, indicates that the new proposal presents a favorable performance when compared with alternative approaches in the literature, such as traditional MLP, mixture of heterogeneous experts, cascade correlation networks and an evolutionary programming system, in terms of both classification accuracy and parsimony of the obtained classifier.     

Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems

Collaboration and interaction analysis allows for the characterization and study of the collaborative work performed by the users of a groupware system. The results of the analyzed processes allow problems in users’ collaborative work and shortcomings in the functionalities of the groupware system to be identified. Therefore, automating collaboration and interaction analysis enables users’ work to be assessed and groupware system support and behavior to be improved. This article proposes a concern-based architecture to be used by groupware developers as a guide to the integration of analysis subsystems into groupware systems. This architecture was followed to design the COLLECE groupware system, which supports collaborative programming practices and integrates an analysis subsystem that assesses different aspects of the work carried out by the programmers and adapts the functionality of the system under specific conditions.     

国华惠电二期工程辅助车间控制方案探讨

为实现减员增效、提高自动化水平,国华惠电二期工程新建辅助车间拟实行集中控制。文章结合该电厂的现状,分析了现有辅控网的特点,比较了二期辅助车间的多种控制方案,并给出了推荐性意见。     

徽州传统建筑木构件力学参数实验研究

徽州传统建筑多以木构件作为承重体系,木构件力学参数实验可以真实的反映木构件的力学性能,本文运用理论分析与实验相结合的研究方法,进行了传统建筑木构件顺纹抗压强度等力学参数的试验,给出了具体实验程序并进行了相关分析,研究成果可为徽州传统建筑的加固修复提供设计依据.     

徽州古民居无损检测技术与方法研究

无损检测技术是对徽州古民居结构构件检测的一种方便有效的方法.本文通过采用超声波技术对某栋徽州古民居的主要构件检测其存在的缺陷,并对无损检测方法和检测内容进行了归纳总结.通过检测得到数据,并对数据进行统计分析与归纳,提出了对徽州古民居检测的一些有益建议,为今后徽州古民居的检测、鉴定、修复提供技术参考.     

试论徽州古民居彩画的艺术功能

从徽州民居的形制与装饰入手,分析了徽州彩画的艺术风格;以徽州现存的几处具有代表性的民居彩画为例,讨论了徽州彩画的艺术功能;在充分肯定其实用功能的同时,着重强调彩画艺术的审美认知、审美教育、审美娱乐和文化传承功能。     

Design and Fabrication of Drug Delivery Devices with Complex Architectures Based on Three-dimensional Printing Technique

1Introduction Drugdeliverydevices(DDD)playanimportantrole incontrollingthedrugreleaseinadesignedmanner[1].AsanimportantkindofDDD,theimplantableDDDmay beusedtotreatsomedeceases,suchasdiabetes,antibi oticadministration,immunization,andtheboneinfectio ns[2].…